<html>
<head><meta charset="utf-8"><title>const generics bug? · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html">const generics bug?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="183638872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183638872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183638872">(Dec 17 2019 at 11:19)</a>:</h4>
<p>Hello! Is the following a bug or currently unimplemented part of const generics.  <a href="https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2018&amp;gist=af6ebff0d4a480f851b149cb13ceb6fb" target="_blank" title="https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2018&amp;gist=af6ebff0d4a480f851b149cb13ceb6fb">https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2018&amp;gist=af6ebff0d4a480f851b149cb13ceb6fb</a><br>
It seems that the method on a trait does not properly recognize that <code>Self: Sized</code></p>



<a name="183661865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183661865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183661865">(Dec 17 2019 at 16:00)</a>:</h4>
<p>bug in const generics</p>



<a name="183665140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183665140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183665140">(Dec 17 2019 at 16:31)</a>:</h4>
<p>Known bug, or exciting new bug?</p>



<a name="183682395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183682395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183682395">(Dec 17 2019 at 19:31)</a>:</h4>
<p>Known bug</p>



<a name="183682447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183682447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183682447">(Dec 17 2019 at 19:32)</a>:</h4>
<p>tl;dr const generics aren't ready for use</p>



<a name="183682458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183682458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183682458">(Dec 17 2019 at 19:32)</a>:</h4>
<p>don't extrapolate basically anything from their current behavior :)</p>



<a name="183687965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183687965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183687965">(Dec 17 2019 at 20:27)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> should I file an issue?</p>



<a name="183689739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183689739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183689739">(Dec 17 2019 at 20:48)</a>:</h4>
<p><span class="user-mention" data-user-id="224872">@Ryan Levick</span> You should, yes.</p>



<a name="183689776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183689776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183689776">(Dec 17 2019 at 20:48)</a>:</h4>
<p>Thank you!</p>



<a name="183693642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183693642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183693642">(Dec 17 2019 at 21:27)</a>:</h4>
<p><span class="user-mention" data-user-id="224872">@Ryan Levick</span> actually, I think no</p>



<a name="183693712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183693712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183693712">(Dec 17 2019 at 21:28)</a>:</h4>
<p>I dont' know that a new example will change much; there is some (slow) action happening in <a class="stream-topic" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits/topic/lazy-normalization.20and.20const.20generics">#wg-traits &gt; lazy-normalization and const generics</a> topic around this though</p>



<a name="183720521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/const%20generics%20bug%3F/near/183720521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/const.20generics.20bug.3F.html#183720521">(Dec 18 2019 at 04:54)</a>:</h4>
<p><span class="user-mention" data-user-id="224872">@Ryan Levick</span> In the future, if you think something might be a bug, please file an issue.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>